Bierman, Gavin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A co-Relational Model of Data for Large Shared Data Banks

Meijer, Erik, Bierman, Gavin

Journal:

Year:

2011

Language:

english

File:

PDF, 1.00 MB

english, 2011

2

Code generation for efficient query processing in managed runtimes

Nagel, Fabian, Bierman, Gavin, Viglas, Stratis D.

Journal:

Proceedings of the VLDB Endowment

Year:

2014

Language:

english

File:

PDF, 274 KB

english, 2014

3

A co-relational model of data for large shared data banks

Meijer, Erik, Bierman, Gavin

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 143 KB

english, 2011

4

Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

5

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

6

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Gradual typing embedded securely in JavaScript

Swamy, Nikhil, Fournet, Cedric, Rastogi, Aseem, Bhargavan, Karthikeyan, Chen, Juan, Strub, Pierre-Yves, Bierman, Gavin

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

7

Report on the 10th International Symposium on Database Programming Languages

Bierman, Gavin, Koch, Christoph

Journal:

ACM SIGMOD Record

Year:

2006

Language:

english

File:

PDF, 92 KB

english, 2006

8

Extending relational algebra with similarities

HAJDINJAK, MELITA, BIERMAN, GAVIN

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 401 KB

english, 2012

9

Dynamic rebinding for marshalling and update, with destruct-time ?

Bierman, Gavin, Hicks, Michael, Sewell, Peter, Stoyle, Gareth, Wansbrough, Keith

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 194 KB

english, 2003

10

Separation logic, abstraction and inheritance

Parkinson, Matthew J., Bierman, Gavin M.

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

11

Lost in translation

Bierman, Gavin M., Meijer, Erik, Torgersen, Mads

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 468 KB

english, 2007

12

Semantic subtyping with an SMT solver

BIERMAN, GAVIN M., GORDON, ANDREW D., HRIŢCU, CĂTĂLIN, LANGWORTHY, DAVID

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 491 KB

english, 2012

13

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Separation logic, abstraction and inheritance

Parkinson, Matthew J., Bierman, Gavin M.

Year:

2008

Language:

english

File:

PDF, 334 KB

english, 2008

14

[ACM Press the 2006 ACM SIGMOD international conference - Chicago, IL, USA (2006.06.27-2006.06.29)] Proceedings of the 2006 ACM SIGMOD international conference on Management of data - SIGMOD '06 - LINQ

Meijer, Erik, Beckman, Brian, Bierman, Gavin

Year:

2006

Language:

english

File:

PDF, 42 KB

english, 2006

15

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - A theory of typed coercions and its applications

Swamy, Nikhil, Hicks, Michael, Bierman, Gavin M.

Year:

2009

Language:

english

File:

PDF, 518 KB

english, 2009

16

Information systems preface

Gavin Bierman, Christoph Koch

Journal:

Information Systems

Year:

2008

Language:

english

File:

PDF, 82 KB

english, 2008

17

[ACM Press Companion to the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Relationships and associations in object-oriented languages

Nelson, Stephen, Balzer, Stephanie, Bierman, Gavin, Meijer, Erik, Noble, James, Pearce, David, Soukup, Jiri, Tip, Frank

Year:

2008

Language:

english

File:

PDF, 68 KB

english, 2008

18

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

SEWELL, PETER, STOYLE, GARETH, HICKS, MICHAEL, BIERMAN, GAVIN, WANSBROUGH, KEITH

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 1.03 MB

english, 2008

19

Mutatis Mutandis

Stoyle, Gareth, Hicks, Michael, Bierman, Gavin, Sewell, Peter, Neamtiu, Iulian

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 1.37 MB

english, 2007

20

Semantic subtyping with an SMT solver

Bierman, Gavin M., Gordon, Andrew D., Hriţcu, Cătălin, Langworthy, David

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 568 KB

english, 2010

21

[ACM Press the eighth ACM SIGPLAN international conference - Uppsala, Sweden (2003.08.25-2003.08.29)] Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 - Dynamic rebinding for marshalling and update, with destruct-time ?

Bierman, Gavin, Hicks, Michael, Sewell, Peter, Stoyle, Gareth, Wansbrough, Keith

Year:

2003

Language:

english

File:

PDF, 194 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски